[U-Boot] [PATCH] ARM1136: Fix cache_flush() error and correct cpu_init_crit() comments