[SeaBIOS] Re: [PATCH] fix wrong init of keyboard/mouse's if first interface is not boot protocol