You would be correct sir the waking from sleep bug is a problem in intels own firmware code, last I heard intel were aware of the problem and exploring possible options for a fix.