x86: update to kernel 3.18