dts: arm: nxp: s32k1xx: fix RTC clock source

Set RTC clock source to the internal 32 KHz LPO. Currently RTC clock is
used to source RTC counter and FTM counter.

Fixes #71289

Signed-off-by: Manuel Argüelles <manuel.arguelles@nxp.com>

dts/arm/nxp/nxp_s32k1xx.dtsi

@@ -323,8 +323,8 @@
 			reg = <0x4003d000 0x1000>;
 			interrupts = <46 0>, <47 0>;
 			interrupt-names = "alarm", "seconds";
-			clock-frequency = <32768>;
-			prescaler = <32768>;
+			clock-frequency = <32000>;
+			prescaler = <32000>;
 		};
 	};
 };

west.yml

@@ -193,7 +193,7 @@ manifest:
       groups:
         - hal
     - name: hal_nxp
-      revision: f6c7108caf50684742689bfab838048208963f4f
+      revision: cd046faf8a3dc879982ff6079fc48a80a0d53e7c
       path: modules/hal/nxp
       groups:
         - hal