Add the kernel-level tests developed by Lukasz Strzygowski as part of the
atfify GSoC 2008 project.