The intent of arch_coprocessors_disable() is to replace arch_float_disable() in halt_thread() for the FPU will not always be the only coprocessor that will need to be disabled. Signed-off-by: Peter Mitsis <peter.mitsis@intel.com>