Amenia: the changes to support 512KB device extension