Scripts used to bake custom arch ISOs