Fix vendor path in kernel.mkx