[coreboot] looking for a decent coreboot notebook