linux-%: Tweak kernel configuration for KVM demo guests