Work on AT91SAM7A3 port

Add some documentation.
Translate to english.
Fix a small bug in clock()