Actually yesterday Danny posted patch 35110 which implements
`make-linux-module', which answers this issue!

Hurray to Danny! :D

-- 
Pierre Neidhardt
https://ambrevar.xyz/