Google does not maintain the same android version numbers for all trees as discovered by the work @dan-v did. Depending on what you set DEVICE to when running make manifest, you get different outputs! This is a design flaw we should correct.
