BIOS_BASE2
printf( " searching extended BIOS @ 0x%08x\n", BIOS_BASE2 );
seekEntry( BIOS_BASE2 );
*paddr = (x * sizeof( unsigned int )) + BIOS_BASE2;