added 'select DMA_SHARED_BUFFER' to portal device config,
forcing dma-buf to be enabled.
blind changes to avoid compilation errors (NOT TESTED!)