Added the links to a couple of blogs I have written on how to create the linux kernel for raspbian ready for docker.