To those who may have missed the commit, I finally applied that idea:
For the rest, I had an other idea, to complete the
changes you talked about: getting the HAL entry point out of the libs.
It's
working quite good. And doesn't force to rebuild the whole lib. HAL MP entry point has
now the check for ntkrnlmp and other changes can be done (as some stuff for ACPI ;-)).
If anyone wants to work on ACPI HAL for GSoC, it's ready :-P.