x86_64 remove old kernel config