Preparations for kernel patch set v2

[jagalactic]

• Don't reference fault counters in smoke tests; these are going away
• Default device is not /dev/dax0.0, as /devpmem support is going away

We will be needing a new test that verifies that vma faults are handled at huge page granularity (see #12), but that is not currently urgent.