[LinuxBIOS] r71 - in buildrom-devel: config/platforms packages/filo/conf packages/kernel packages/kernel/conf packages/linuxbios packages/linuxbios/patches