It was never our intention to support 64bit UEFI with 32bit kernel. Just because it seemed to work, whilst having lots of things broken at runtime, was never our intention to have supported.
It was never our intention to support 64bit UEFI with 32bit kernel. Just because it seemed to work, whilst having lots of things broken at runtime, was never our intention to have supported.