x86, reboot: Fix typo in nmi reboot path