[LinuxBIOS] r41 - in buildrom-devel: config/platforms packages/kernel packages/kernel/conf packages/linuxbios