I had additionally to execute “make scripts” in the kernel source tree, to get the above recipe working.
Otherwise I got the following errors:

Building modules, stage 2.
MODPOST
/bin/sh: scripts/mod/modpost: No such file or directory