# CONFIG_MLXBF_BOOTCTL is not set