x86/reboot: Add pci_dev_put in reboot_fixup_32.c for consistency