devel: remove kernel

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