HomeIsabelle/Phabricator

proper detection of ARM platform variants;