[ben_bai]

KARL also includes a random offset in front of the kernel, and the bootstrap code is unlinked once the machine has booted.

    |---------------kernel-----------------|
    |-boot-|-rnd offset-|--running kernel--|