vendorsetup.sh: Fix kernel_OBJ Otu