[PATCH] fix linux banner format string