I switched to Xorg from Wayland just in case, but the external HDMI monitor is not detected with any of the kernels.