Ramdisk for ASDK 4.2 kernel