[PATCH v4 2/3] kernel/trace: Add TRACING_ALLOW_PRINTK config option