What happened to the Darwin port for regular BIOS-based x86 PCs? In theory, one should be able to replace the OSX kernel with that to get a clean system, Intel or not...