Re: [PATCH 18/34] x86: Make coreboot sysinfo available to any x86 board