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