[SeaBIOS] [PATCH 1/5] 64bit hex printf support