use branch v0.7 from kritis-linux and change settings to be more i386-alike and add essential kernel feature 'flock' using latest kernel 3.18.140 from 3.18.x-branch (+minor indentation fixes)