My computer frequently crashes with the error message: Kernel panic: ccio-dma.c: ccio_alloc_range() I/O MMU is out of mapping resource This is with kernel pa17. This occurs during medium to heavy io. This has also caused my /var/lib/dbkg directory to be missing. How can I rebuild it?