[PATCH] remove do_sync parameter from __invalidate_device