kernel specific parameters for NFC

Change-Id: Ia158e4fc9865c94c592316f80ac1578cd09451e0