BugLink: https://bugs.launchpad.net/bugs/1866149 [Impact] systemd-systemctl will fail to set kernel.pid_max, leading to a degraded boot. [Fix] Set CONFIG_BASE_FULL=y, CONFIG_BASE_SMALL=0. [Test case] Write 419304 to /proc/sys/kernel/pid_max. [Potential regression] Boot time may be affected.