generic swap(): dcache: use swap() instead of private do_switch()