[coreboot] How to choose my ‘‘mainboard vendor’’ for Sony laptops?