deathspirit, сейчас уже ничего не наберу и не проверю, поскольку давно плюнул на это дело и поставил 32-битную версию.
В любом случае, по-идее все должно было работать нормально, поскольку ставил из стандартных репозиториев через стандартный менеджер проприетарных драйверов, а в этом случае никаких дополнительных манипуляций не нужно.