BoardConfig: Change kernel load address to 0x40400000