Boot Time

Boot_time to be ported here.

For Boot Time information specific to Embedded Linux, see the following: