Added kernel options.

Change-Id: I4813e6cb673ad5f744c5a488af57b35a59f88f02