Implement core_sleep() for TCC780x (single core).