Hauke Mehrtens 1c7c997019 kernel: add some missing kernel config options %!s(int64=10) %!d(string=hai) anos
..
profiles 9e0759ea26 x86: merge all geode based subtargets into one %!s(int64=11) %!d(string=hai) anos
config-default 1c7c997019 kernel: add some missing kernel config options %!s(int64=10) %!d(string=hai) anos
target.mk f7e747baa9 x86: set default kernel version to 3.10 %!s(int64=11) %!d(string=hai) anos