default to HDMI instead of VGA as secondary video
use st as terminal