armv7m: FAULTMASK should be 0 on reset