ARM1136: Fix cache_flush() error and correct cpu_init_crit() comments