Function booted_device_init 

pub fn booted_device_init(
    locked: &mut Locked<Unlocked>,
    kernel: &Kernel,
    cpu_boost_duration: Option<MonotonicDuration>,
)

Initializes the boot notifier device.