LxPupSc-17.09.1T-k64 with kernel 4.12.10-lxpup64 is available. See this blog entry for more description of LxPupSc