[PATCH 4.14 18/29] x86/pkey: Fix undefined behaviour with PKRU_WD_BIT