linux kernel mirror with kconfig patches