2014-01-24  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>

        * aarch64/cpu-init/rdimon-aem-el3.S (flat_map): Clear WXN bit
        in SCTLR_EL3. Add dsb.