| 
					
				 | 
			
			
				@@ -22,6 +22,7 @@ CONFIG_ACPI_PROCESSOR=y 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 # CONFIG_ACPI_WMI is not set 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 # CONFIG_ASUS_LAPTOP is not set 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 CONFIG_CONSOLE_TRANSLATIONS=y 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+CONFIG_CPU_IDLE_GOV_MENU=y 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 CONFIG_DUMMY_CONSOLE=y 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 # CONFIG_EFI is not set 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 # CONFIG_HPET is not set 
			 | 
		
	
	
		
			
				| 
					
				 | 
			
			
				@@ -38,11 +39,12 @@ CONFIG_KVM_GUEST=y 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 # CONFIG_LGUEST is not set 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 # CONFIG_LGUEST_GUEST is not set 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 CONFIG_NLS=y 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+CONFIG_NO_HZ=y 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 CONFIG_PARAVIRT=y 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 CONFIG_PARAVIRT_CLOCK=y 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 # CONFIG_PARAVIRT_DEBUG is not set 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 CONFIG_PARAVIRT_GUEST=y 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-# CONFIG_PARAVIRT_TIME_ACCOUNTING is not set 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+CONFIG_PARAVIRT_TIME_ACCOUNTING=y 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 CONFIG_PCI_IOAPIC=y 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 CONFIG_PCI_LABEL=y 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 CONFIG_PCI_MMCONFIG=y 
			 |