DF5667 SYMS prv=0x0000000001115978 ncpus=0x0000000000a0dd74 kernacc=0x00000000006e2010 pkex=0x00000000007252a0 igds=0x0000000000720f10 kvac=0x000000000071d910
=== DF5667 vkernel booted (i=3) ===
DF5667 raw ptr bytes: [           00  00  40  00  80  00  00  00                                ]
DF5667 BASE16=0x8000400000 BASE10=549760008192
DF5667 targets DEAD=0x8000420123 DEADP=0x8000420000 LIVE=0x8000400040