Summary of changes: 6935cdf... Update per mizdebsk recommendation (*) ddc2a44... Update to enable arm again (*) (*) This commit already existed in another branch; no separate mail sent