How about taking PeterT's idea one step further. The kobo_config.sh file show you how to get the hardware's id.