Re: [LinuxBIOS] [PATCH] elfboot minor changes