Use the userspace cache flushing functions if the interrupted
process is a userspace one.
Signed-off-by: NMarkos Chandras <markos.chandras@imgtec.com>