kernel code specific to w28