Install Arduino ID v2.3.2 on AMD

[wollm]

Yes! Thank you. It was my mistake.
I've installed an new (64-Bit) Debianimage and it runs.
New knowledge for me: getconf LONG_BIT.
Now I can programming Arduinos ...
-Michael-