Linux kernel configuration files for running as a guest under VMware Workstation