Add extra_configs for conveniently configuring isc-dhcp-server to include ipxe options