@Sebastian-Roth Your build instructions work! I am the proud owner of a freshly built bzImage! Thank you.
Setup is 16124 bytes (padded to 16384 bytes).
System is 8169 kB
CRC 8c40e932
Kernel: arch/x86/boot/bzImage is ready (#1)
mike@VLIN-018987 11:57:46 0 :~/fos/fos[master] $ find . -name bzImage
./kernelsourcex64/arch/x86/boot/bzImage
./kernelsourcex64/arch/x86_64/boot/bzImage
./dist/bzImage
mike@VLIN-018987 11:58:18 0 :~/fos/fos[master] $