Why do pixel device trees have to be updated through different Android versions? If so the differences would be minor, right?