add dsb instruction to seperate processor in mutex.s