/* $NetBSD: efi_stub.S,v 1.1.1.1 2018/08/16 18:17:47 jmcneill Exp $ */ /* This stub is a stub to make the build happy */