fixup "Generic sleep_forever() based on lock"
fixup "hw: map core on demand"

* fix broken TLB maintainance list handling