[SeaBIOS] [PATCH 1/2] util: add le32_to_cpu()