[LinuxBIOS] r88 - buildrom-devel/config/platforms