有时我无法启动笔记本电脑 - 它卡在这里：
然后我必须进行硬重置，然后就没问题了。我检查了启动日志，我认为这是导致问题的原因（不要介意时间戳不一致）：
[38.377595] BUG: unable to handle kernel NULL pointer dereference at (null)
[38.377821] IP: [<ffffffffa01f6d7b>] r600_pcie_gart_tlb_flush+0xeb/0x110 [radeon]
[38.378065] PGD 121491067 PUD 121492067 PMD 0
[38.378214] Oops: 0000 [#1] SMP
这里是完整日志。
我发现补丁但我不知道该使用哪一个以及如何使用。
答案1
我做了什么：
sudo apt-get update
sudo apt-get upgrade
sudo apt-get dist-upgrade
它实质上升级了内核，而我无需亲自修补内核。
我不确定它是否能解决我的启动失败问题 - 必须启动几次才能看到效果，但我会报告。就问题而言，它已经解决了。
答案2
通过升级内核修复了这个错误，但是这并没有回答开头的问题，并且让所有来这里寻求答案的人都不满意。
那么，当补丁文件可用时，通常如何修补内核错误？