minimal kernel 3.17 config that works in vmware