x86: reboot fixup for wrap2c board