[OpenBIOS] [PATCH 17/20] console: remove libopenbios/console.h