Hi and thanks for this build. It working very well. However I have a problem with the Arduino. It stops as soon as the linux kernel is booting. I tried to understand what is going on but I did not get very far. How can I get the Arduino working?