x86: refresh kernel patches