Drop the palmer-dabbelt/palmer prefix from pconfigure?