Does anyone have any objections to me changing the default HZ on PPC to 1000, following all the other non-low-end-embedded systems? It's a major win for responsiveness on PPC desktop systems. -Nathan