Installing Debian on A20 development board