/sys/boot/ia64/