Add 10ms-precision runtimejs Date() support
Link kernel with libgcc