Separate names with a comma.
I can also confirm that the latest update (Version 17.1.2 build:51548) resolves the issue of stuck on boot with the latest kernel.
I've followed this guide.
However, if you are not familiar with terminal, you can press Esc during boot and select the older kernel version...
Yeah, same here. It seems that the only workaround for the time being is to modify grub to use the previous version as a default.