kernel: add 3.7 support for x86