How difficult was setting up PBS on ARM? Do you just add their repos and install it on top of debian?