1. A method comprising: loading a kernel of an operating system of a platform during initialization of a processor of the platform; loading an initialization function of a platform-specific module during initialization of the processor of the platform, wherein the initialization function of the platform-specific module is configured to initialize at least a portion of the platform; executing, by the kernel, the initialization function of the platform-specific module during a platform-dependent phase of a kernel boot sequence for the kernel; and executing, by the kernel, a platform-independent phase of the kernel boot sequence after executing the initialization function of the platform-specific module.