After a full upgrade following the FAQ, and running the usual syspatch, pkg_add -u, pkg_check :
dmesg highlights : random: boothowto does not indicate good seed cpu at mainbus0: not configured (see https://www.reddit.com/r/openbsd/comments/hab68w/how_can_i_enable_intel_hyperthreading_smt_back/ "eeprom" at iic0 addr 0x50 not configured efifb at mainbus0 not configured drm:pid23547:ivb_set_fifo_underrun_reporting *ERROR* [drm] *ERROR* uncleared fifo underrun on pipe A drm:pid23547:intel_cpu_fifo_underrun_irq_handler *ERROR* [drm] *ERROR* CPU pipe A FIFO underrun drm:pid23547:cpt_set_fifo_underrun_reporting *ERROR* [drm] *ERROR* uncleared pch fifo underrun on pch transcoder A drm:pid23547:intel_pch_fifo_underrun_irq_handler *ERROR* [drm] *ERROR* PCH transcoder A FIFO underrun Sylvain S
dmesg.68
Description: Binary data