Make HW setting of PTE A/D bits optional (by configure arg)