x86, delay: tsc based udelay should have rdtsc_barrier