[PATCH 03/38] bios_emulator: Add Kconfig and adjust Makefile for SPL