use dot instead of tilde

web ui doesn't like tilde
force 64bit cpu for uefi