Need kernel devel to make VMware Tools happy