Re: [SeaBIOS] [PATCH 1/2] scripts/acpi_*: use env python instead of python in shebang