Setting up a small Sphinx project for validating Linux kernel ...