[PATCH v3 35/43] x86: Record the start and end of the tables