multi-kernel.inc: the current fetcher2 in yocto started having a glitch, so fix it up