Linux-DRX only for x86-{32,64}