Symbol: compat_elf_read_implies_exec