several packages: PLATFORMS=...~x86

Change-Id: Ie6b229d80adc3028cc60f18f35b7786c30c983a8