Fixed bug in building ACL2(hp) (and probably ACL2(p)) found and analyzed by David Rager, that occurred when environment variable ACL2_CORE_COUNT is set.
Fixed a couple of recently-introduced bugs in ACL2(h) that were preventing its build in SBCL.