* disable ikconfig by default * update ppc40x default config