The initial value of the ARM status register, not sure this is really needed - will be looked at somewhen in the future