And in the source code, I cannot find the bin files. So my question is when building the maemo kernel image, where do the bin files come from?