Add unlock after write_global of protection-based octApron priv
Add unlock after write_global of protection-based octApron priv

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