OK, then please keep using the kernel until the newer update kernel is released. I expect the next update kernel will be sometime in October.