[SeaBIOS] [PATCH 5/9] Add romfile_name() function.