Remove kernel raw unlock special case
Remove kernel raw unlock special case

https://github.com/goblint/analyzer/pull/837#discussion_r984588125.

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