Fix kernel source path and add some options