A few doc updates
Transition to use __builtin_vp_read_control_reg instead of __builtin_vp_get_current_thread

This requires rebuilding the compiler toolchain