ifc6410: use proper kernel path

Change-Id: Iae04acf8e94e72213f711d879ccb2e5cccdd00e6