Update: tried postmarketOS again and it seems smoother and more stable. Dock works well though the HDMI screen still turns off and back on every few seconds.