NICS = rtl8139 8086100e

CFLAGS += -UPXE_DHCP_STRICT
CFLAGS += -DPXE_DHCP_STRICT

CFLAGS += -UNO_POST_PROMPT
CFLAGS += -DNO_POST_PROMPT