x86: don't accidentally zero the upper 32-bits of the PAT due to shifting past the width of a uint32_t