Chapter 3. PALO, the PA/Linux kernel loader