Source code review.
The only user of this function I could find is bhyve_init_platform_late(), which is called by main() in bhyverun.c, which exits upon errors. (4 "exited due to an error")
Therefore, as things are this fix ilooks superfluous, but it would quiet Coverity down for this code path.