reserved version number for Android/ARM (official NDK+SDK) R3 port

Since the major version number 13 for Android port was already discussed and is partially integrated in src/boot/platforms.r file I've completed the definition into the src/tools/systems.r as well for near future usage.