flush icache before set_pte() on ia64: flush icache at set_pte