The ISO was download this morning and it did install Linux-56 kernel.
The problem was with the graphical update utility. When I tried to update it download the package but would not install them and then would subsequently report that the system was up to date.
When updating via the terminal it does ask you to update the 56 kernel but with the community version. I wasn’t sure it was the right thing to do at first. Bu if you say yes it then proceed to update to Linux-57 later on.