From: Justin Forbes on
gitlab.com
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/1029#note_5539...
This does seem to work as expected. kernel/drivers/gpu/drm/tiny/ is
moved from kernel-core to kernel-modules on armv7 and aarch64, etc.
Thanks for cleaning this up!