HelenOS sources

SCTLR_INST_CACHE_EN_FLAG  181 kernel/arch/arm32/src/cpu/cpu.c 		    SCTLR_INST_CACHE_EN_FLAG | SCTLR_BRANCH_PREDICT_EN_FLAG;
SCTLR_INST_CACHE_EN_FLAG  184 kernel/arch/arm32/src/cpu/cpu.c 		    ~(SCTLR_INST_CACHE_EN_FLAG | SCTLR_BRANCH_PREDICT_EN_FLAG);