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 this
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