lpotter beat me to it
The second link that you posted indicates that you can download the source for everything except the SD card driver, Qtopia, and Sharp's Software.
So you can basically download the kernel
OTOH, I didn't know you could get the CRIM for the 5x00 series from the A300 - I'm going to have to try that.