Re: [LinuxBIOS] [PATCH] small fix for iei/juki-511p