last-minute fix for OnboardRAM device