From: Gerd Hoffmann on
gitlab.com
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/2175#note_1246...
Yes, kernel-core should continue to be the default, unless you explicitly ask
for something else. But it should be possible to ask for something else and
drop kernel-core in that case.