Added some text re kernel choice and device tree