bbd55e7
Ensure to build for grub default kernel Signed-off-by: Nicolas ViƩville <nicolas.vieville@uphf.fr>