Added start and end fields to executable_t

This will allow us to load the HAL and modules to dynamic addresses, since they'll just come right after the kernel.