read program size from kernel boot