simplify DmaManager_reference for __KERNEL__
add PA_ELEMENT_SIZE to portalmem (this will be used only by bluesim)