Re: [LinuxBIOS] VIA VT8231 documentation