at91: Add AT91 board and model name to /tmp/sysinfo