[PATCH 9/9] x86: coreboot: Add a sysinfo driver