secondary_trampoline
extern char secondary_trampoline[], secondary_trampoline_end[];
int trampoline_size = secondary_trampoline_end - secondary_trampoline;
memcpy(phys_to_virt(0), secondary_trampoline, trampoline_size);
int trampoline_size = secondary_trampoline_end - secondary_trampoline;
memcpy(phys_to_virt(0), secondary_trampoline, trampoline_size);