Re: [LinuxBIOS] [PATCH] Rename E7520 -> e7520, E7525 -> e7525.