x86/efi: Allocate a trampoline if needed in efi_free_boot_services()