/*	$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 */