The usage of page table locks in TLB fault handler is usually
only needed when debugging the kernel. So make this configuration
option dependend on DEBUG_KERNEL.
Signed-off-by: Helge Deller <deller@gmx.de>