We have released the latest version ArdionoCore. You can update it through Arduino IDE easily. Just like this: