Update kernel configuration and add profiles and per-profile kernel configuration...