x86, efi: Add infrastructure for UEFI 2.0 runtime services