[LinuxBIOS] E7501 SDRAM timing bug?