powerpc: Rework set_dabr so it can take a DABRX value as well