Re: AW: [OpenBIOS] Aladdin V chipset