HTML5Slides to introduce booting arm linux with device tree