change coreos-overlay to xiangli-cmu/coreos-overlay