Don't unnecessarily override BUILD_ID and BUILD_DISPLAY_ID

These properties should depend only on the base version of Android being
built and not on any device-specific configuration.

Change-Id: Ib08a0da0f33ca8e68377e94de8028966933b9ae0
Use wl12xx firmware in hardware/ti/wlan instead of our own copy

Change-Id: I4a13c6ceec67a12c45455dd37383112dcf5a6b5c
Optimize non-Thumb ARM code generation for size

This saves space in /system and may well improve performance (by
reducing icache footprint).
Don't load unused kernel modules on boot
Omit unused kernel modules from build output
Remove unnecessary tinyalsa utilities from build
Remove libskia_legacy from build

Android 4.4's browser no longer supports the saved pages feature, so
this is no longer useful.
Remove unused blobs from proprietary-files.txt
Inherit CM common_mini_tablet_wifionly.mk instead of common_full_tablet_wifionly.mk

This sheds some optional components from the install, saving space in
/system.