[coreboot] utililty output for Asus A7V133C