I added platform.kernelMakeFlags. This allows setting the required parameter to make the required kernel uImage for the sheevaplug, since it became a platform with devicetree (3.10). I have tried it with linux 3.18 and it built fine.