data_attach
data_attach(addr, size);
data_attach(kernel_binary, kernel_binary_size);
void data_attach(void *, size_t);