Hauke Mehrtens f38dbb89c2 kernel: add missing config options
This was seen by the buildbot on arm64.

Signed-off-by: Hauke Mehrtens <hauke@hauke-m.de>

SVN-Revision: 47452
2015-11-10 23:21:10 +00:00
..
2015-11-10 23:13:09 +00:00
2015-10-04 11:34:39 +00:00
2015-07-22 12:51:11 +00:00
2015-11-04 11:33:31 +00:00
2015-10-25 22:46:46 +00:00
2015-05-29 11:28:20 +00:00
2015-04-12 20:48:13 +00:00
2015-10-26 09:00:35 +00:00
2010-08-06 21:36:35 +00:00