lean kernel .config for virtualized guests