FBSD: Remove unnecessary explicit osi_fbsd_alloc