Update Ubuntu doc to specify reboot is needed and tell about the new DEB option.