If the license is ok, I'd like to give it a try (unless someone more experienced wants to do it - I might need occasional support). We'll probably need to distribute the entire VirtualBox source [1] as SRPM, even if we just build the Guest Additions - they seem to at least include header files living outside the src/VBox/Additions directory.
Regards,
Laurențiu