Updated panda_mark to use the same registers as pirate_mark
Fixed small bug in taint.cpp where HD taint was being instantiated in
user mode