Google Chrome OS – an Android in the making?