After inserting some printf() debug statements into /sys/arch/i386/stand/libsa/pxe.c I found that the call to the assembler subroutine pxe_call(PXENV_GET_CACHED_INFO); never returns.
It looks like either there is something wrong with that call, or with the PXE code from Etherboot. Rolf
