lockdep: merge the _READ mark_lock_irq() helpers