x86: Move efi to platform