We should be using x86 as the module name here, not intel.