remove special timer init for rk3288

Both the upstream uboot as well as "community-variants" now enable
the necessary timer7 to supply the architected timer.

We'll move this to special branch for broken bootloaders now.
ARM: decompressor: Flush tlb before swiching domain 0 to client mode

If the bootloader used a page table that is incompatible with domain 0
in client mode, and boots with the mmu on, then swithing domain 0 to
client mode causes a fault if we don't flush the tlb after updating
the page table pointer.

v2: Add ISB before loading dacr.

Signed-off-by: Arve Hjønnevåg <arve@android.com>
rockchip: enable timer7 on rk3288 platforms for broken bootloaders

timer7 supplies the architected timer and thus as has to run when
the system clocksource and clockevents drivers are registered.

While it should be the responsibility of the bootloader to do this,
older uboot variants for the rk3288 did not do this.

Therefore add a snippet for those, enabling the timer early in the
kernel.