[PATCH] lock validator: fix ns83820.c irq-flags bug