<sect1 id="aa-kernel">
<title>Linux kernel</title>

&aa-kernel-desc;

</sect1>