Fix -devel package for armv7hl
    
    armv7hl kernel flavors in the non-multiplatform configuration
    (which is the default for our openSUSE 12.3 release), needs
    more header files from the machine specific directories to
    be included in kernel-devel.