don't do 8 byte read to get magic number from board on pcie (use 2 ioread32() calls)
increase width of 'fd' field in PortalAlloc from int to long (needed when running test programs in kernel)