Re: [PATCH 2/2] coreboot: Switch to a monospaced font