Make build platform handling more robust

- Change platforms.r to use pairs of "minor" platform number and value.
- Add the Android platform as well as old R2 platforms.
- Adapt make-boot.r accordingly.
- Add a sanity check for the existence of a platform.
- Fix handling of the "system/product" name.