No matches were found for subject:"\[Bug 938631\] Re\: Duplicate ACPI video bus devices for the same VGA controller"