initial checkin of kernel/arm