host_bios: Update platform handling for board
drwxr-xr-x - host_bios
-rwxr-xr-x 2187 makefile
-rw-r--r-- 407 readme.txt