Remove reference to $kernelfile
I think this line was meant to be removed when kernenlfile was renamed to _kernelfile, but it seems it was duplicated instead. Remove it to fix an error where boot-deploy fails because $kernelfile can't be found.
Fixes aa053d8d