# CONFIG_SDIO_UART is not set
# CONFIG_SERIAL_8250_EXTENDED is not set
# CONFIG_SHMEM is not set
CONFIG_SPLIT_PTLOCK_CPUS=4096
# CONFIG_SDIO_UART is not set
# CONFIG_SERIAL_8250_EXTENDED is not set
# CONFIG_SHMEM is not set
CONFIG_SPLIT_PTLOCK_CPUS=4096