[LinuxBIOS] [PATCH] make elfboot slightly more verbose