so what I would do is:
- copy those to a safe place
- proceed with the rc5 installer
- copy/replace those kexts with the ones just added by installer
- rebuild caches/mkexts
- replace DSDT if any
- see if Themes were added or do it manually from svn
- reboot
- if it booted ok, only then proceed to replacing "boot" file with the one from here

---