fixup "hw: set TTBR0 according to CPU facilities"

ref #1195
fixup: "hw: set TTBR0 according to CPU facilities"