Use a functional simulation for x86 rather than a detailed simulation