new F10 kernel borked?