Add PBMTE bit to menvcfg and henvcfg mask values

Also make PBMTE set on reset for backward compatibility.

Since before Spike proceeded as if these bits were set if the extension was enabled.