db_header_speedup.patch another _ic_fetch()
speedup; actually concerns db_get_main_header(). Much less significant than
the previous one. One-liner and quite straightforward; I think it can be
considered stable.