"/chosen", adding a dummy claim() service.
20080205 Switching order of DINCLUDE and XINCLUDE in
src/devices/Makefile (thanks to Ning Zhao for the tip).
20080222 Adding a DEV_DISK_OFFSET_HIGH32 register, for reading/writing
the top 32 bits of the offset register (useful for emulated
32-bit archs), as suggested by Julian Elischer.