Re: [coreboot] XP is very slow on coreboot with SeaBIOS