[rdc] resync kernel configuration, re-enable printk and make the kernel fit under...