Я б в любом случае переставил бы ОС, раз еще ничего не начало работать - в 32 бита RK7 будет тесно.