soothsayer: kernel 3.14.3 upgrade
soothsayer: use simpler cflags for vmware-modules