cross-vpkg-dummy: provides kernel-libc-headers-3.17.1.