confusing as user can just use `use_fadump(false)` and it not mean that hardware doesn't have support