[coreboot] Which of these mini-ITX mainboards is best supported?