How hard would it for those hardware manufacturers to compile using glibc instead of bionic? What more is needed than that to use the drivers on normal Linux systems?