what about accepting modifications that make Android compilation possible, as long as they don't interfere with things, and we don't make any claim yet that Android is a supported platform?

We have generally been will to accept this sort of thing.