Add a cache flush in the path handled by a panic.

We want to get the panic traceback in the printk persist buffer
so we need a cache_flush before triggering a restart.

Change-Id: Icc0263d21eb04b3a3fbfb9986fe2033fbaa7db55
1 file changed