[arch-releng] [PATCH 5/6] [archiso2dual] Remove support for booting 64 bit kernel with 32 userspace