rename repo

rename repo at oracle, to have separate arch/host repo names
1534