Re: [LinuxBIOS] #40: Decide on common header #ifndef names or standards for usage