celox-common: point to the right kernel path

Change-Id: Ief7098cb0d3fc25e98bffefb995c53a4affbe555