- Fix some kernel MSC compilation issues: