o si usas otra version de elfpack deevs subirla en forma de parche de esta manera
block de notas guardar como le pones un nombre ejempplo lib.vkp en tipo de archivos todos y configuracion ansi y listo ya te reconocera como parche para poder aplicarlo
Parche VKP
;W610 SW-R6BC002
+45C3FC00
0DA4: 00000000 E5C4F344 ; 369: void MediaPlayer_SoftKey_SetText(void *player_gui,int actionID , int StrID);
0DA8: 00000000 B1C4F344 ; 36A: void MediaPlayer_SoftKey_SetAction(void *player_gui,int actionID ,void (*proc)(BOOK *,void*));
0DAC: 00000000 71C5F344 ; 36B: void MediaPlayer_SoftKey_SetItemAsSubItem(void *player_gui,int item,int subitem);
0DB0: 00000000 39C5F344 ; 36C: void MediaPlayer_SoftKey_AddHelpStr(void *player_gui,int item,int StrID);