Re: [SeaBIOS] SeaBIOS error with Juniper FreeBSD kernel