Add debian workstation post-install
Explain how to go to MBEX on T430