I did this in undergrad. Campus security stopped me, I argued, he called his supervisor on the radio. We chatted for a while, and turns out he was from Venezuela, had studied what I was studying, and was an overall pleasant character. Supervisor response was basically, "wow college kids think they're really clever don't they?", and I was asked, politely, to cease.
I felt like a bit of a dick after that.
One of the real downsides of ARM is, it seems, the relative lack of standardization. An x64 kernel? It'll run on most anything from the last ten years at least. And as for boot process, it's probably one of two options (and in many cases one computer can boot either legacy or EFI).
ARM, on the other hand...my raspberry pi collection does one thing, my Orange Pi does something else, and God help you if you want to try swapping the Orange kernel for the Raspberry (or vice versa)!