[coreboot] Please list soldered/non-soldered BIOS