antmicro_amp: Fixed missing mutex releases