I tested today and the problem is still present. Which is your .config and how are you loading the kernel? I'm trying to load it using grub2.