Fixed some bugs and modified the kernel annotations for rcu_dereference to pass the address of the pointer whose value is returned by rcu_dereference (needed to check against the rcu_assign_pointer shadow memory). Also added a linux dir with the annotation changes for rcu under the kernel top-level folder. Both leak test cases now pass.