x86/reboot: Fix apparent cut-n-paste mistake in Dell reboot workaround