From: Vitaly Kuznetsov on
gitlab.com
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/2648#note_1535...
Added "Redistributable, no modification permitted" back, better safe than
sorry. We may have some other firmware-looking pieces in the kernel. We need
some audit to make sure we can get rid of it, this doesn't have to be done
now, let's keep the status quo.