typhoon: fix incorrect use of smp_wmb()