you are right. in linuxbios.map _start become to 0xfffeeecc and ROM_TOP and reset_vector become to 0xfffffff. YH