[ppc40x]: increase kernel partition size to fix boot issues