Fixed TLB initialization function (Sanity checks aginst overflowing the
TLB was incorrect for the extended TLB entries).
Cleaned up research code (I don't remember why I commented out one part).