bug fixed: missing writeback when only I-cache enabled
exit when trap double fault if vector is invalid