[LinuxBIOS] Re: E7501 SDRAM timing bug?