Re: [SeaBIOS] [PATCH] Don't select SERCON when target is coreboot