Our automatic build system also noticed that you transparently updated the Jetson TK1 32-bit Driver Package (Tegra124_Linux_R21.6.0_armhf.tbz2) from Thu Oct 5 00:28:55 UTC 2017 to Sat Oct 14 01:25:24 UTC 2017. Could you please explain what the exact reason for that change was?