[ros-diffs] [jgardou] 72803: [SDK/GCC_INTRIN] - Update __invlpg instrinsic for x86_64 compatibility