But then, isn't it reasonable to keep a 9embed
kernel compiled with just a subset of devices for that
sort of platforms?