@francois
*vtor = ((uint32_t) vector_table & 0xFFFFFFF8);
vector_table is already aligned! why do this ?