Re: reset16.inc and 32bit reset vector