Android/ARM tier0/platform.h