Erm, restore the RTAI kernel config

Somehow I deleted this entirely in the previous commit, when the
intent was only to revert 3e1630d.
3.8.13-9:  Re-re-enable parts of ACPI; new release