The offset is the upper four bits. But it's measured in 32-bit words, so
we shift right four and multiply by two to get a right shift by two.
Merge branch '20130428-tcp-provider' into markj-develop