Redirecting to Debugfs (Linux kernel)