Fully Dockerized Linux kernel debugging environment