devel: fix kernel

Change-Id: Ic2912eb3a433f79eafd17c362a1787e791581d18
Signed-off-by: Stephane Desneux <stephane.desneux@open.eurogiciel.org>