Fix kernel section mismatches

Change-Id: Idd707dbaee22b094a8927048d6dbc42e67624c78