fix autoconf, move code to isa.c, remove debugging, drop redundant tlbflushes, macros...