Summary of changes: 816acb4... add missing v from armv7hl and armv7hnl config options (*) 4144f72... Merge branch 'master' into f15 (*) This commit already existed in another branch; no separate mail sent