x86: fix prefetch workaround