# CONFIG_CK_KABI_RESERVE is not set
