Re: [LinuxBIOS] [PATCH] v3: Add support for building on Debian GNU/kFreeBSD