update kernel config

Change-Id: I4a0904a0647c48bdb99509c04c88ebbb544c41db
Signed-off-by: Dirk Rettschlag <dirk.rettschlag@gmail.com>