[coreboot] Tyan S2895 SATA, USB, ethernet not working