They should, but they won’t. Between Torvalds’ (wrong) opinion and the logistical issues of getting approval from all the other copyright holders, the Linux kernel will remain vulnerable to tivoization in perpetuity.