proc_sysctl.c: use BUG_ON instead of BUG