[docker] try that special casing of the kernel again