Just asking :-). I was kinda surprised that no new kernel showed up in any of the F8 or F9 updates (for me anyway).