Hi Greg, Sasha,
Please backport 8ae071fc216a ("kbuild: make modules_install copy modules.builtin(.modinfo)") with this tag: Stable-dep-of: 4243afdb9326 ("kbuild: builddeb: always make modules_install, to install modules.builtin*")
Recently, we back-ported 4243afdb9326, which depends on 8ae071fc216a
Without the proper dependency, there was a regression report for Debian package builds with CONFIG_MODULES=n.
https://bugzilla.kernel.org/show_bug.cgi?id=217689#regzbot