Using PALO, the kernel loader for PA-RISC