Remove duplicate kernel configuration

Change-Id: I829b780f615b2ae25c388b7f00746dbcf0a3290b