Anyway, changing the user's .profile shoud not prevent the device from booting correctly.
I would suggest to file a bug report.