[x86] refresh kernel patches