Expressltexx: Add vendorsetup, correct the kernel's path