Fixes for core_tiny zygote to boot

Change-Id: Ie926eb316d05702ddb715ca4519397e9be0e7049
1 file changed