Fixed a bug in specifying the address to load kernel.