From: Jan Stancek on
gitlab.com
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/2538#note_1451...
The issue with depmod appears to be filter-modules, because it moves
drivers/platform to kernel-modules, while intel_rapl_tpmi stays in -core, but
depends on tpmi (which is in drivers/platform). Looking at reproducing/fixing
this locally.