bce2b68b891a ("exec: use flush_icache_user_range in read_code")