Comment 19 for bug 1876737

Revision history for this message
Dimitri John Ledkov (xnox) wrote :

Given that 64bit UEFI is there, it means that 64bit kernel can run, despite using 32bit userspace otherwise.

Why are you using inferior 32bit kernel, with otherwise 32bit userspace?

Please install and use 64bit kernel in such cases, i.e.

sudo dpkg --add-architecture amd64
sudo apt-get update
sudo apt-get install linux-generic:amd64

"works fine" is not true at all, lots of low-level things in Userspace and kernel are broken when one tries to force booting incompatible kernel due to different memory layout expectations. If you really want to fix it, it will need to go upstream to linux kernel to implement 64bit UEFI memory layouts in the 32bit kernel flavour.