From: Jan Stancek on
gitlab.com
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/2654#note_1581...
Yes, that shouldn't change. I was talking about copy of the file created
during build, which is immediately copied again to partial-kernel-local*.
SOURCE3001 still refers to "kernel-local" in SOURCES, so for users nothing
should change.