use custom kernel

needed to include gcc fixes