On 2018/07/05 21:30, Oscar Salvador wrote: > This boots and works with the reproducer: Yes, this patch fixes the problem on x86_32. > But I think that we should also add: Yes, this patch also fixes the problem on x86_32.
On 2018/07/05 21:30, Oscar Salvador wrote: > This boots and works with the reproducer: Yes, this patch fixes the problem on x86_32. > But I think that we should also add: Yes, this patch also fixes the problem on x86_32.
|