[coreboot] In case this helps my effort: lspci output for ASUS TUSI-M