[OS-BUILD PATCH 1/3] efi: libstub: declare DXE services table