Merge pull request #19435 from cko/arduino-32bit
arduino: fix 32bit build
authored by Joachim F and committed by GitHub 9 years ago e0ac20bb 22a4d6bd