Making invalidateInstructionCache automatic in SectionMemoryManager