image/svg+xml RAM boot trampoline kernel RAM kernel 0x100000 0xFFFFFFFF80000000 trampoline call