[PATCH 4.19 27/38] x86/pkey: Fix undefined behaviour with PKRU_WD_BIT