/drivers/coreboot/cbmem_console/aarch64/