ça peut se dumper, après il faut juste le BIOS humain-1.0.1, puis on bootstrappe.