build: help corner cases.
build: help corner cases.

Issue #4622.

	* sdk-remote/include/local.mk: Be sure to have all the stub files
	created.
	We should merge the set of headers between SDK Remote and Kernel.
	We should have a details/ directory for headers we don't want to
	display.

urbiforge/urbi,urbiforge/urbi,urbiforge/urbi,aldebaran/urbi,urbiforge/urbi,aldebaran/urbi,aldebaran/urbi,urbiforge/urbi,aldebaran/urbi,urbiforge/urbi,urbiforge/urbi,urbiforge/urbi,aldebaran/urbi,aldebaran/urbi,aldebaran/urbi,aldebaran/urbi,urbiforge/urbi