[PATCH] Correctly display PCI arbiter en-/disabled on some 4xx boards