ai-b-bios : customisation syslinux. ai-kde, ai-ob : modif gstreamer