Re #1919: disabled DBLKEYS for !ARM