Re: [coreboot] Kolibri OS on SeaBIOS