Having this print out for every CPU on a large system was a pain, so protect the printk with EFI_DEBUG.
Attach a file by drag & drop or click to upload
