On Tue, 2018-04-10 at 09:06 -0500, Tom Lendacky wrote:
>
> Just out of curiosity, can you try the following patch and see if it
> fixes your reboot issue:
Yup, all better.
> diff --git a/arch/x86/boot/compressed/kaslr.c
> b/arch/x86/boot/compressed/kaslr.c
> index c5196d2..a0a50b9 100644
> --- a/arch/x86/boot/compressed/kaslr.c
> +++ b/arch/x86/boot/compressed/kaslr.c
> @@ -55,7 +55,7 @@
> extern unsigned long get_cmd_line_ptr(void);
>
> /* Used by PAGE_KERN* macros: */
> -pteval_t __default_kernel_pte_mask __read_mostly;
> +pteval_t __default_kernel_pte_mask __read_mostly = ~0;
>
> /* Simplified build-specific string for starting entropy. */
> static const char build_str[] = UTS_RELEASE " (" LINUX_COMPILE_BY "@"
