[IA64] Check return from device_register() in cx_device_register()