boards: intel: Updated TSC frequency values Updated TSC frequency values of intel boards. Signed-off-by: Anisetti Avinash Krishna <anisetti.avinash.krishna@intel.com>