[coreboot] T530 with discrete GPU