line1=Configurable options,11
line2=System configuration,11
device_map=File for device name mappings,3,Get from GRUB