Support OS X time in the embeddedlinux port.

@PaulBouchier, any concerns on this?