#5798: Apply patch to add VFPv2 and ARMv6 hard-float support (Jeffrey Scofield, Anil Madhavapeddy).
    
    [PATCH] Detect and support armv6/VFPE2, which is sufficient to get
    ocamlopt working on the Raspberry Pi hardfloat Debian variant
    
    Original patch: Jeffrey Scofield via http://psellos.com/pub/ocamlxarm/ocaml4-vfpv2.diff
    Fixes from: Anil Madhavapeddy <anil@recoil.org>
    
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13042 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02