alpha: Fix breakage in wdt_pci