kernel-1570 to 1582 on x86_64 doesn't boot