Fix rather obvious bug on iBoot based platforms.