This change serves to reduce the clutter inside the top-level kerninfo structure, and allows other ARM-specific values to be added on the kernel page in one place. Change-Id: I36a6aada9dbd1230b25014728be675d389088667