Fix for non-XMOS devices.