remove the arch_barrier_extra() hook