Platform: Fix API doc of getCPUFamily(), getCPUType() and getABIType()