[SeaBIOS] [PATCHv3 1/4] acpi: generate and parse mixed asl/aml listing