Function booted_device_init 

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

Initializes the boot notifier device.