[Library] Devices now have id's for fast kernel loading