The problem with that proposal was that it didn't allow compiling a non-modular kernel with both AMD and Intel processor support. But we'll use static calls ins

The problem with that proposal was that it didn't allow compiling a non-modular kernel with both AMD and Intel processor support. But we'll use static calls instead. :)