it seems that pxeboot has a limit with respect to the kernel size, which prevents the kernel to get loaded, the error printed is slightly misleading. the solution is to make a kernel with loadable modules, instead of compiled in. danny