mini-os: added stub for printing floats for sprintf, etc

Override the weak __printf_render_float to implement.