Fix the issue of Linux cannot boot and reset on IPF.
[people/mcb30/edk2.git] / www /
drwxr-xr-x   ..
-rw-r--r-- 9612 index.html
-rw-r--r-- 10684 installation.html