ah, the acfreebsd.h is used in usr/src/boot/sys/boot/i386/libi386/biosacpi.c in current code, as acpica framework needs basic platform definitions and acfreebsd.h is built to serve both the kernel (which we do not care about in loader) and standalone build. As the loader is entirely standalone and as it is build for bsd, we can not have our /usr/include tree to get in... acsolaris.h for another hand, has served us well in kernel build, but I think it will be wise to build acillumos.h for our needs - to have support for kernel/userland/standalone in reasonable way. But thats again something for future work.

Ah okay, that clarifies things, thanks.