Originally Posted By: Virtual1
I assume there's a more permanent way to make it always boot 64?

You can do it automatically by using this program.