linux/kernel/configs/tiny-base.config