fixed some pointer casts and printf warnings, added #ifdef __ARM__ around outer_clean...
update for kernel 3.8
pcie/portalalloc.c includes alloc/portalalloc.c