ppc40x: switch to 3.8