While /dev mounted as tmpfs it does not contain /dev/disk/by-uuid directory, 10_linux script did not check it properly and do not set root device via UUID. Therefore following kernel boot can fail (incorrect root device) if device names was changed. Attached path fixes this issue. Please review and commit it thank you, Vasily Averin