vcore_idle(): halts a core