Re: [OpenBIOS] [PATCH] a.out header copy