[PATCH 2/2] Samsung/Arndale: Linux booting problem in presence of initrd