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