[pups] booting RT11 from alternate controller