Comment 16 for bug 48266

The fix for this would be to always install the server kernel and the generic kernel defaulting to the server kernel.
This way there is no change to the current flow, but if installed on a system that does not support the server kernel there is an easy option to correct the problem by changing GRUB to boot the generic kernel.

Not fixing this is not acceptable.
Defaulting to the "work around" ( see above) is also not an acceptable long term solution.