* kernel/pad.txt: misc