Modular kernel for multiple platforms