[SeaBIOS] [PATCH 1/4] x86: add readq()