Карта ATI на моём двухголовом ноуте наконец заработала. Более того, заработало и переключение между Intel и Radeon. Теперь ноутбук HP Probook можно смело заносить в список полностью поддерживаемых машин.
Подключать вторую карту надо так. Сперва включить её в BIOS, если она была выключена. Потом при помощи XFdrake выбрать адаптер ATI (он должен выбраться автоматически). Затем с правами root выполнить команду
amdconfig --initial -f
После перезагрузки видим положительный результат.
Теперь
ROSA Desktop.Fresh 2012: Intel + Radeon