# CONFIG_KERNEL_NOBP is not set