flush_icache_range for good measure