[SeaBIOS] [PATCH v2 1/6] output: add 64bit hex print support