Problem With the function arm_flush_icache()