* platforms.r

** adding the Android platform + old R2 platforms
** the platform variants are pairs of "minor" platform number and value
* make-boot.r reflects the change of platforms.r
** using sanity check for existence of platform
** system/product name handling fixed