powerpc/p3041: fixup portal config info