Correct a comment that was wrong it all but two MIPS ports.

Style: double_count is used as a boolean not an integer.
Enable hard float support by default.  The default userland still uses
soft float so this is mostly a no-op.

Idealy we probe the hardware or get something from FDT to tell us if we
actually have an FPU in our CPU build.