Work around gcc bug with group kernel tables