Anyway, changing the user's .profile shoud not prevent the device from booting correctly. I would suggest to file a bug report. (The device is still too much focussed on the single user account, I think.)