Ok, the boot problem is solved. I changed to 32bit multi core, saved this, rebooted and changed back to 64bit multi and rebooted.