There are no such things as "stupid" questions. However if you think your question is a bit stupid, then this is the right place for you to post it. Please stick to easy to-the-point questions that you feel people can answer fast. For long and complicated questions prefer the other forums within the support section. Before you post please read how to get help
Mint uses a standard Ubuntu kernel, no changes to that - but a lot to other things So it's basically only x86. I don't know anything about the Amtel line of microcontrollers, but if it's something used in embedded systems I don't think it'll work. You could always try if you don't break anything.....
Don't fix it if it ain't broken, don't break it if you can't fix it