Set the kernel load (physical) address as is already done for i386 kernels.
Adjust "options " whitespace to be consistent.