kernel: add boot timestamps

Change-Id: I4ca48c5609b3ce6c8a898307d7248519c32981e4
1 file changed