RE: [OpenBIOS] Aladdin V chipset