Re: [LinuxBIOS] [PATCH] make elfboot slightly more verbose