@mgarcia612 prueba estas

Parche VKP;W580 SW-R8BE001
+45C3FC00
0D94: 00000000 3982D444 ; 365: int Alarm_GetWeekSettings(WEEK*, int AlarmID);
0D98: 00000000 C1C72D45 ; 366: int IrDa_GetState(char *state);