[nine_k]

This evokes in me a distinct feeling of applying a crack to run a pirated game.

[nisa]

I guess it violates the CDDL licence - at the time some distributions like NixOS just patched the EXPORT_SYMBOL_GPL out of the Linux kernel (https://github.com/NixOS/nixpkgs/pull/61076/commits/7b77c27c...) which could even be totally legal for redistribution as the GPL probably allows this?

[nicman23]

it is probably fine as it is just the instructions. i have done it before in a raspberry for some reason i do not remember