Tweaked version of the Arduino codebase (hardware-related code only -- not the IDE)