[PATCH v2 4/4] kernel/trace: Add TRACING_ALLOW_PRINTK config option