$KERNEL did as expected, as usual, fell again, since it never really got up.