This commit reworks the symbol descriptions for `CONFIG_FPU` and `CONFIG_FP_SHARING`, in order to provide more details and clarify any ambiguity between the two symbols. Signed-off-by: Stephanos Ioannidis <root@stephanos.io>