[OpenBIOS] Re: [PATCH] kernel: Fix compiler format string warnings when some debugging options are enabled