efi_icache_sync
void efi_icache_sync(unsigned long start, unsigned long end);
efi_icache_sync(*image_addr, *image_addr + kernel_codesize);