[SeaBIOS] Check if Wikipedia is correct and not outdated