[RFC PATCH 3/5] Set HVBAR register correctly