/*
* This file implements recording of each stage of the boot process. It is
* intended to implement timing of each stage, reporting this information
/*
* This file implements recording of each stage of the boot process. It is
* intended to implement timing of each stage, reporting this information