[coreboot] coreboot and Intel 5100 chipset compatibility question