menu "Configuration" depends on PACKAGE_p4xdp endmenu