[SeaBIOS] SeaBIOS not fully working when compiled on FreeBSD