add flag, pointing to kernel sources

Change-Id: I13e20c3e66970d53050a47ea10cf7894f4aa2943