/proc/kcore: work around a BUG()