K 10 svn:author V 4 zont K 8 svn:date V 27 2012-10-30T13:22:39.531471Z K 7 svn:log V 122 - Remove BCE_JUMBO_HDRSPLIT kernel option which was forgotten in r218423. Approved by: davidch Approved by: kib (mentor) END