[coreboot] Any modern server motherboards supported by coreboot?