635a3b8 Update grubby to support device tree options for arm. Again.

Authored and Committed by pjones 9 years ago
    Update grubby to support device tree options for arm.  Again.
    
      Resolves: rhbz#1088933
    
    Signed-off-by: Peter Jones <pjones@redhat.com>
    
        
file modified
+8 -1