menuentry 'Debian GNU/Linux, with Linux 3.5.2-amd64' --class debian --class gnu-linux --class gnu --class os {
        root='(hd0,5)'
        echo    'Loading Linux 3.5.2-amd64 ...'
        linux   /boot/vmlinuz-3.5.2-amd64 root=/dev/sda5 ro  quiet
}