Efficient Cache-Coherent Migration For Heterogeneous Coprocessors In Dark Silicon Limited Technology