Compact (8KB) embedded x86 BIOS for FPGA/emulators/386EX