Add droid tools repository for Nexus 4 too
Take common options from armv7hl standard target
repos.yaml: Add the new maui-core repository