xv65: updated sys headers; scratch