It points to an x86 image