[SeaBIOS] [PATCH v2 9/9] acpi: find and register virtio-mmio devices