am 18f23def: Merge "Push ISA features into system properties"

* commit '18f23def0e2cda7934c2aef71e2defc729726913':
  Push ISA features into system properties