Eine alternative waere noch beim booten entsprechenden Speicher zu reservieren, dafuer braucht man aber
einen speziellen Kernelpatch.

Oder wenn du ein System mit IOMMU benutzt (zB Intel VT-d) kann die IOMMU das unmappen. Muss aber
auch vom Treiber richtig unterstuetzt werden und die IOMMU muss explizit an sein im BIOS und
im Kernel. IOMMU braucht wohl auch einen relativ neuen Kernel.