And by that, I mean, they do for now because...temporarily...the user is allowed to turn Restricted Boots off, but we see OEMs removing the ability for the user to manage the keys at all (and locking the hardware into modes that are only compatible with Windows), and Microsoft will eventually come for x86 too.