Allow the gic driver to be build with or without support for intrng