#include "../../platform/efi/efi_stub_64.S"