linux-gcw0: alternative kernel kexec-enabled

Signed-off-by: Andrea Adami <andrea.adami@gmail.com>