zink: device_info needs to handle full extension promotions
With the recent RM2024 release, a bunch of required extensions have gone from EXT to KHR. This is not currently handled by codegen.
Even worse, it's annoying to handle because the (current) XML doesn't have promotedto tags for all promoted extensions, so there's no way to link an EXT to a KHR.
Edited by Mike Blumenkrantz