Merge "Rename ro.vendor.product.* to ro.product.vendor.*" am: 9e622c7e

echo "ro.product.board=$TARGET_BOOTLOADER_BOARD_NAME"

echo "ro.board.platform=$TARGET_BOARD_PLATFORM"

echo "ro.vendor.product.manufacturer=$PRODUCT_MANUFACTURER"

echo "ro.vendor.product.model=$PRODUCT_MODEL"

echo "ro.vendor.product.brand=$PRODUCT_BRAND"

echo "ro.vendor.product.name=$PRODUCT_NAME"

echo "ro.vendor.product.device=$TARGET_DEVICE"

echo "ro.product.vendor.manufacturer=$PRODUCT_MANUFACTURER"

echo "ro.product.vendor.model=$PRODUCT_MODEL"

echo "ro.product.vendor.brand=$PRODUCT_BRAND"

echo "ro.product.vendor.name=$PRODUCT_NAME"

echo "ro.product.vendor.device=$TARGET_DEVICE"

echo "# end build properties"