Set up of a custom linux on an AVR-32