Licson Lee
says to
YSITD
4. apt-get -P install xen-linux-system