Bump to Arduino core from Arduino git (5615e20f3c78b38c17d4a0e83dd826a2b43e5e94)