Mali-400 build and usage of SMP code in preemptible code fixes.

Mali-400 build fix is needed because we dont use SVN system as ARM does for testing drivers.
SMP code fix is needed when SMP checking is enabled in kernel hacking, without this fix each usage of block devices pullutes console with stacktraces.