x86: Make Dell Latitude E5420 use reboot=pci