Allow flags argument for irqsave and irqrestore kernel locks (closes #681)
Allow flags argument for irqsave and irqrestore kernel locks (closes #681)

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer