Re: [OS-BUILD PATCH] x86: configs: Enable CONFIG_TEST_FPU for debug kernels