Re: [OpenBIOS] Aladdin V chipset