[OpenBIOS] [PATCH 6/7] docker: switch from kernel crosstools compilers to Debian cross-compilers