[AVR32] Provide more CPU information in /proc/cpuinfo and dmesg