update

debian/config/amd64/config.vm

@@ -28,11 +28,10 @@ CONFIG_JAILHOUSE_GUEST=y
 CONFIG_ACRN_GUEST=y
 CONFIG_INTEL_TDX_GUEST=y
 # CONFIG_GART_IOMMU is not set
-CONFIG_NR_CPUS=16
+CONFIG_NR_CPUS=256
 # CONFIG_X86_MCE_INJECT is not set
-# CONFIG_X86_5LEVEL is not set
 CONFIG_AMD_NUMA=y
-CONFIG_NODES_SHIFT=6
+CONFIG_NODES_SHIFT=8
 # CONFIG_X86_PMEM_LEGACY is not set
 # CONFIG_X86_CHECK_BIOS_CORRUPTION is not set
 ## choice: TSX enable mode
@@ -3573,14 +3572,6 @@ CONFIG_LOG_CPU_MAX_BUF_SHIFT=12
 # CONFIG_UCLAMP_TASK is not set
 # CONFIG_RT_GROUP_SCHED is not set
 
-##
-## file: kernel/Kconfig.hz
-##
-## choice: Timer frequency
-# CONFIG_HZ_100 is not set
-CONFIG_HZ_500=y
-## end choice
-
 ##
 ## file: kernel/Kconfig.kexec
 ##
@@ -4056,7 +4047,6 @@ CONFIG_HDMI=y
 CONFIG_HSI_BOARDINFO=y
 CONFIG_HVC_IRQ=y
 CONFIG_HYPERV_TIMER=y
-CONFIG_HZ=500
 CONFIG_I2C_BOARDINFO=y
 CONFIG_I2C_HID_CORE=m
 CONFIG_I2C_I801_MUX=y
@@ -4085,7 +4075,6 @@ CONFIG_NLS_UCS2_UTILS=m
 CONFIG_PARAVIRT_CLOCK=y
 CONFIG_PARAVIRT_XXL=y
 CONFIG_PCI_XEN=y
-CONFIG_PGTABLE_LEVELS=4
 CONFIG_PM_CLK=y
 CONFIG_PM_OPP=y
 CONFIG_PM_SLEEP_DEBUG=y