2432 /* Total size of stolen memory */