[LinuxBIOS] [PATCH] elfboot minor changes