bsd-user: fix "#if 0"'d printf()