First of all thanks for the writeup! I had a similar working setup procedure, but the installations kept breaking after one or two reboots. The pointer with the kernel updates seems to have resolved that issue for now... hopefully. But I guess manually updating the kernel isn't a satisfying solution...