Specify kernel source, fix wifi module name

Change-Id: Iea8b6a75680764ece2137dbb56031d8d9802fce7