device-types: panda: handle bigger kernels
device-types: panda: handle bigger kernels

kernelCI.org has some defconfigs that generate large kernels, so
we need more room at the kernel load address for those.

This patch was tested on lab-baylibre

Change-Id: Icbfee5389465580469a71f82456a5486f2abd321
Signed-off-by: Corentin LABBE <16a2fc074d33dba14e47b55c74beb641d5160cd9@baylibre.com>

Linaro/lava-server,Linaro/lava-server,Linaro/lava-server,Linaro/lava-server