I would say better would be to ask Kevin to add support to SeaBIOS because I think this is the place where coreboot is to be seen by users ;) Rudolf