Since version 1.16.0, several new versions of SeaBIOS have been released, the latest of which is 1.16.3, released on 2023-11-28. Would it be possible to release a newer version of the SeaBIOS package(s), please?