Duplicate of #7589. It would work also work if you would enable VT-x and nested paging. But we want to fix this bug for non-VT-x CPUs as well.