RE: [LinuxBIOS] E7501 SDRAM timing bug?