git cherry-pick -s -x 63a759694eed61025713b3e14dd827c8548daadc
git cherry-pick -s -x 0af462f19e635ad522f28981238334620881badc
~/scripts/run-arm-v7.sh
rv=$?
git reset --hard HEAD~2
if [[ $rv -ne 0 ]]; then
    exit 0
fi
exit 1
