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