[coreboot] XP is very slow on coreboot with SeaBIOS