Re: Getting an uncompressed, with-debug-symbols kernel image in F10