x86: add the RDC machine specific reboot fixup