Provide different kernel configs set for different purposes
For functional testing, IPIPE_DEBUG & Co. should be on (currently the case for x86 and armhf, not for arm64).
For performance/latency testing and demonstration, debug switches should be off.