Enable tmpfs in amd64 RAMDISK; from pedro@