Fix bsd (!mp) build, boot tested