4096 /* our CPU ID */