efi cd: use system-generic kernel, as bluenix is efi-capable (3.10+) anyway