(*(volatile unsigned long *)(0x1803801C)) = 0x20|3;
  cpucache_invalidate();
  DEVID &= ~(1<<31);
  SCU_CLKCFG =0;
  SCU_DIVCON1 |= 1;
  delay_nops(100);
  SCU_REMAP = 0;
  ((void(*)(void))(0x0))();