[PATCH] lockdep: annotate 8390.c disable_irq()