Earlier quoted context omitted.
Android Inc should probably have gone with a micro kernel, instead of going for Linux' monolithic approach. Would have made things much easier to manage in regard to separation of concerns.
Wouldn't really help -- the biggest result would be that vendors would have less of a reason to release things under the GPL.
A smaller surface area with a stable HAL would separate the proprietary / often bad board support code from the kernel itself and allow core changes to progress without requiring software-adverse hardware manufacturers to keep up.
Whether or not this is a good thing is certainly debatable, but I'm not convinced the Linux "get to mainline or get wrecked" approach has stood the test of time well.