SGS3-Ramdisk based on GM source for DEVIL kernel