fixup: hw: map core on demand

* fix broken TLB maintainance list handling