[Chromebox Gen.2] Both HDMI ports support 4K resolution (3840X2160)?