These kprobe tests were done using 

linux-image-3.8-trunk-amd64	3.8.2-1~experimental.1

You can use e.g.

./try_kprobe.sh native_set_pgd

to reproduce the bugs.