linux-zen-server/drivers/firmware/efi/libstub/printk.o