Fix a problem which prevented startup on some newer CPUs