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.
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.