GGC hack in the kernel