Use byte offset instead of rip_dest (a 32-bit field) to extract
16-bit field in order to avoid type punning.  This fixes compile
on IA64 platforms.