add proper ebu locking to ifxmips