Update 2014-09-15-archlinux-kernel-repair.md