[SeaBIOS] [PATCH 1/4] acpi: generate mixed asl/aml listing