I'll paste the whole thing for you.
Also make sure you have the "rei" folder and "reiNand.dat" on the root of your SD.
// Boot menu configuration
boot_config =
{
// Default timeout in secondes
// If timeout = -1, disable autoboot
timeout = 3;
// Some devices (n3ds?) seems to...