Or any other bootable kernel, for that matter. Yours is the first kernel I've managed to actually boot, aside from the stock maemo kernel. I've found several online which do not boot, and I've compiled my own which, of course, also does not boot.