ARM: keystone2: update the default addresses of the secure monitor