mini-os: Fix printf.c licence
mini-os: Fix printf.c licence

Changeset df1348e72390 actually completely replaced the freebsd printf
implementation with the Linux printf implementation. Further changes
are extremely minor and thus don't pose IP issue. Fix the licence
accordingly.

Signed-off-by: Samuel Thibault <49a5ed162141aa1a2ad45c2f70540ac844521912@ens-lyon.org>

rowhit/xen-minios,rowhit/xen-minios,rowhit/xen-minios