[LinuxBIOS] Linux BIOS on Embedded board