[PATCH 4.9 12/19] x86/pkey: Fix undefined behaviour with PKRU_WD_BIT