Actually use DEFAULT_OS and set it in Android.mk for now.

Signed-off-by: David Greaves <david.greaves@jollamobile.com>