While reversing firmware it very useful to have actual memory dump from working phone.
This is RAM dumper for K750 r1db001 with sources (so you can easily convert for any other firmware).
It will dump 8MB RAM from 0x4C000000 to file at memory stick.
1. apply vkp path to phone
2. boot phone OS, insert memory stick
3. press and hold 'vol+' button
4. red led on (near irda) = work in progress. process take almost half a minute with my old 64MB memstick.
5. red led off = done.
How to patch
ARMPC (SE-ready FASMARM)
Library of functions offsets