Searching in drivers/coreboot/cbmem_console/aarch64