Changes since the 2010-07-13 release

	Fixed the LPC23xx USB header file

	Fixed the CC1101 header file

	Fixed a bug in the cooperative kernel's message subsystem

	Fixed the window resizing in lpc-prg

	Documentation fixes

Changes since the 2010-08-03 release

	Fixed the installation of header files

	Fixed a bug in the sdiv32() function (libc/misc/sdiv.S)

	Fixed some assembly functions where older gas versions did not
	understand instructions. In particular, specifying the constant 0
	as shift amount or omitting the first operand if it is the same as
	the target for three operand instructions makes older gas versions
	to bark while newer ones accept those. Also, lpc-clk.c had a variable
	that older gcc versions believed would be used uninitialised (but the
	newer ones could work out that it wouldn't), so it is now initialised
	regardless.

	Removed the --fno-inline-small-functions flag, because it is not
	recognised by 4.1.x gcc. The flag is superfluous in the library
	anyway, we don't really have small functions that can be automagically
	inlined by gcc.

	The whole library now can be compiled with gcc 4.0.x and gas 2.16.

	Small documentation fixes

