Re: [SeaBIOS] [PATCH] SeaBIOS: Fix bvprintf() to respect padding for hex printing.