[OpenBIOS] Concatenating strings