Arghh.  As people pointed out, /sys/src/9/power is a bad choice because it
clashes with the old sgi stuff that we don't support but others might still
be using.  I renamed it to /sys/src/9/ppc.