linux.c32 on git master fails to load the kernel. Following tests done on pxelinux: git checkout syslinux-3.74-pre14-3-g1656aef make [linux kernel gets loaded] make spotless git checkout syslinux-3.74-pre14-4-g0d8c3d0 make [module prints error message "Kernel load failure"] - Sebastian