DF5365: A: 7/7 register cells of the attacker page were written by the production store set -> ARBITRARY-PA WRITE CONFIRMED
DF5365: B: mapped kernel BSS PA 0x18d9dac so that 'icr_timer' aliases cpu_id_to_apic_id[3]
DF5365: B: cpu_id_to_apic_id[3] before=0x00000003
DF5365: B: cpu_id_to_apic_id[3] after =0xffffffff -> KERNEL-BSS CORRUPTION CONFIRMED
DF5365: state restored (cpu_id_to_apic_id[3]=0x00000003 lapic_mem=0)
DF5365: done