In practice, as most Linux users install their OS themselves, you can just download the OS and install it normally, unless they ban VPNs and all bittorrent and all linux download sites (which ofc would be up for other regions), too. Pretty bad for selling Linux laptops though, and who knows, maybe they go on to require all future devices to be locked down too.

That ATM cash tracking thing comes to mind