fontforge can edit/export fonts like you want.
I do not recommend you to do that, unless you know this tool and can work with it. It is very complex and I am only using it to convert old print/printer fonts to convert them to use-able formats for other media.
What I do recommend you, is to search for a font-family which looks like the default-bold font.
This page says that the default-bold font from gui's is this font: Tahoma bold, 8px
As well as this page for dx fonts: "default-bold": Tahoma Bold
Finding a similar looking fonts:
https://www.myfonts.com/WhatTheFont/
Fonts (a lot of them are free with licence):
https://www.dafont.com/
Good luck