For SBL platform, struct acrn_vcpu_regs are used as boot context. Now the boot_ctx is only for UEFI platform. Rename struct boot_ctx to efi_context. Tracked-On: #1231 Signed-off-by: Yin Fengwei <fengwei.yin@intel.com>