[SeaBIOS] [PATCH 3/3] acpi: Use cpu_to_leXX() consistently.