Re: [SeaBIOS] [PATCH] src/Kconfig: Add note that boot interface is needed