Add code to use %x in efi_st_print().
Signed-off-by: NHeinrich Schuchardt <xypron.glpk@gmx.de>