RE: LinuxBIOS in 512KB flash