[SeaBIOS] [PATCH] Optimize ntohl() code.