Update notes for submitted changes

* ARM: 7957/1: add DSB after icache flush in __flush_icache_all()