[PATCH 01/10] efi: Set RUN_64BIT correctly for the EFI app