ofwoea_initppc
ofwoea_initppc(startkernel, endkernel, args);
void ofwoea_initppc(u_int, u_int, char *);