Google outlines plans for mainline Linux kernel support in Android