ppc40x: increase kernel partition size on OpenRB/Magicbox