Adding code to map kernel flavors just adds complexity.
The database is only used to choose the device-tree name. Only if the device-tree name depended on the kernel flavor we would need a 'Kernel-Flavors:' entry to choose the right device-tree.
Does such a case exist at all?
There is not a single case of duplicate values of 'Machine:' entries.
So the best solution is to simply ignore the kernel flavor.
Adding code to map kernel flavors just adds complexity.
The database is only used to choose the device-tree name. Only if the device-tree name depended on the kernel flavor we would need a 'Kernel-Flavors:' entry to choose the right device-tree.
Does such a case exist at all?
There is not a single case of duplicate values of 'Machine:' entries.
So the best solution is to simply ignore the kernel flavor.
Best regards
Heinrich