Changed kernel origin to 0x1000