Merge changes from topic "gic_update"

* changes:
  Max SPI INTID is 1019
  Switch AARCH32/AARCH64 to __aarch64__