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

Override the weak __printf_render_float to implement.
mini-os: x86_64: make thread stacks 16-byte aligned

Otherwise, passing doubles to varargs functions causes a crash.

Signed-off-by: Thomas Leonard <talex5@gmail.com>