Hi Matt,1. Why x86 code isn't separated to another patch?2. drivers/firmware/efi/reboot.c: efi_reboot(): One shouldn't use "printk()" with no KERN_* stuff passed into it.I'd recommend to use "pr_info()" macro or something like that.