Correct the detection of hard float arm

• Don't test MACHINE, it's irrelevant to userland and should never be used in userland Makefiles.
• If we match armv[67] and CPUTYPE is undefined OR it doesn't have 'soft' in it, choose armhf.
• Add a note that the soft float on armv[67] may be broken.

Sponsored by: Netflix