x86, mce, cmci: disable CMCI on rebooting