[PATCH 2/5] include: Add ShiftRight128 and __shiftright128 support.