Irgendwie scheint es, man sollte sich gut überlegen, welche Variante man wählt, >4GB mit fragwürdiger IOMMU, oder <<4GB.
Gefunden in openbsd.misc:
You have to edit a source file and recompile the kernel.
However, it won't work (to be precise, it will probably crash on boot, or
possibly...