FreeBSD/LinuxBIOS coupling document