Comment 14 for bug 1876737

Revision history for this message
Julian Andres Klode (juliank) wrote :

Running a 32-bit kernel on 64-bit UEFI is not supported. The kernel might not be able to interoperate with the UEFI implementation because some addresses would be outside its address range, and it would hence react strangely.