c88d71508e ("x86/boot/64: Rewrite startup_64() in C"): BUG: kernel reboot-without-warning in boot stage

Hi Kirill, FYI this bug is still active in tip/master: https://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git x86/mm commit c88d71508e36b514413464bd2e01f96f34583a0e Author: Kirill A. Shutemov AuthorDate: Tue Jun 6 14:31:26 2017 +0300 Commit: Ingo

c88d71508e ("x86/boot/64: Rewrite startup_64() in C"): BUG: kernel reboot-without-warning in boot stage

Hi Kirill, FYI this bug is still active in tip/master: https://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git x86/mm commit c88d71508e36b514413464bd2e01f96f34583a0e Author: Kirill A. Shutemov AuthorDate: Tue Jun 6 14:31:26 2017 +0300 Commit: Ingo Molnar CommitDate: Tue Jun 13