[Concept] [PATCH 12/19] efi: Drop the efi_ prefix on the arch-specific stub files