[LinuxBIOS] How to parameterise SDRAM init on Geode GX1?