write_page "<td>(on amd64 systematically varied, on i386 as well and also with 32 and 64 bit kernel variation, while on armhf not systematically)<br />"
write_page "<td>on amd64 systematically varied, on armhf not systematically, on i386 and arm64 not at all<br />"