[arch-general] Cannot boot archboot iso with 64 bits kernel : no init found.