For whatever reason, there have been updates to Arch LInux and the device numbers have been mixed up. Now the opencl_device_priority is no longer correct in darktablerc.
I also tried to use the device naming in darktablerc but it does not work with escaping characters.
Regards,
Marcus