Cannot boot from menu.c32 with ipxe.krn

[robinsmidsrod]

Loading ipxe.krn means you're using iPXE's native drivers for your card, which could have bugs.

After you posted this question the realtek driver has been completely rewritten, so it's worth trying again and see if things work now.

Also, you should be using iPXE's native menu support (http://ipxe.org/cmd/menu) unless you're heavily invested in how menu.c32 does things.