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:21:10 +00:00