Update machine timer drivers to use DT_HAS_<compat>_ENABLED Kconfig symbol to expose the driver and enable it by default based on NIOSV devicetree. Signed-off-by: Khor Swee Aun <swee.aun.khor@intel.com>