add .config and efi kernel