[LinuxBIOS] Linux BIOS support for Eden CPU