Summary of changes: a80aba9... Apply a forgotten patch (*) 9fd0eee... Add BR hwloc-devel (*) 3f6cbc8... Apply the forgotten patch properly (*) (*) This commit already existed in another branch; no separate mail sent