Add some Android-specific kernel options.

Change-Id: Ib5574bc3645e6073a20c0f828269b17c308f2bdb
1 file changed