[SeaBIOS] [RFC PATCH 2/2] q35: Fix ACPI _PRT routing to match PIIX