pxe_enable
void pxe_enable(void *pxeinfo);
pxe_enable(kargs->pxeinfo ?
__uint32_t pxe_enable; /* bitmask, per port */