Minor changes to RK HDMI and working config file. XFCE booting!