Remove the WAFFLE_PORT_ENTRY_POINT in the AMD64.h