Re: [PATCH v1 35/43] x86: Add debugging to table writing