Add android-4.0.1_r1 platform headers.