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