Updated PCI IDs to latest snapshot.master
[tangerine.git] / arch / common / boot / grub2 / kern / i386 / efi / 
treef42a78ae86e52174d03e84bd3f521ba3fd3673f5
drwxr-xr-x   ..
-rw-r--r-- 1340 init.c
-rw-r--r-- 1749 startup.S