BIOSTRAMP_BASE
pmap_kenter_pa((vaddr_t)BIOSTRAMP_BASE, (paddr_t)BIOSTRAMP_BASE,
memcpy((void *)BIOSTRAMP_BASE, biostramp_image, biostramp_image_size);