[SeaBIOS] [PATCH] Use cpu_to_be32() (and related) instead of htonl (and related).