Envsetup: add pushboot