On x86-based machines–ones with processors made mainly by Intel and AMD–if a user installs another operating system, that’s out of the device maker’s hands.