1.4.1-Alpha-1 (High-End U1)

[hkphantomgtr]

The kernel options are not switched (amd64).

Do you mean the code to switch kernel for Intel/amd isn't working? It was working when I was doing the re-write. I'll double check that again later this week to confirm.

Look, yesterday I helped a friend to update his SO system. 
Scenario:
1) updated to this alpha version;
2) updated the ubuntu RT kernel from an older RT kernel;
3) after "OS Update" "apt full-upgrade -y" "apt autoremove -y" several times and reboot several times; Ubuntu still use the older RT kernel;
4) of course, the Kernel switch function doesn't work.

So, this "kernel switch" bug also preventing ubuntu from using newly updated/installed kernel.