updated kernel config target name