[Bug 1226111] [Firmware Bug]: CPU0: Topology domain 0 shift 1 != 4