[coreboot] Port80 isn't working (ASUS P8B75-V)