testing kfreebsd with ipxe