so the user could just change CONFIG_DEBUG_ASSERTIONS in most case Signed-off-by: Xiang Xiao <xiaoxiang@xiaomi.com>
For some reason # CONFIG_ARCH_FPU is not set also unsets ARCH_FPU for the .config file, meaning FPU support is not built.