x86 GF-kernel