fixup "hw: set TTBR0 according to CPU facilities"

ref #1195